Liam Goodacre

@liamgoodacre.bsky.social

73 Followers 95 Following

I try to tell computers what to do and sometimes they pretend to listen.

Haskell code: ``` {-# Language ApplicativeDo #-} data Thing c = forall i . Thing () i i data Some = forall i . Some i buildThing :: Monad m => m (Thing c) buildThing = do field0 <- undefined Some field1 <- undefined field2 <- undefined -- let _ = field0 -- uncomment to compile pure (Thing field0 field1 field2) ```