Brendan Zabarauskas@brendanzabReplying to @ProgrammerDude and @Iceland_jackIsn't the full thing: data Maybe :: Type -> Type where Nothing :: forall a. Maybe a Just :: forall a. a -> Maybe a (not sure if that's possible with Haskell syntax)1:02 AM Β· Mar 25, 2018Β·Twitter Web Client
