Giters

meiersi / strict-base-types

Fully strict variants of the types provided in base.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Alternative instance for Maybe

joe9 opened this issue · comments

commented

Hello,

Just want to check if an Alternative instance could be added to Maybe.

Thanks

commented

Hi @joe9 that won't be possible, as Alternative requires a Functor instance (via its Applicative constraint, see Haddocks here); and a strict Maybe is not a lawful Functor as explained here.