I always think of it as your data types being too unrestricted so as to allow for invalid states. The eliminator for Maybe (a -> r) -> r -> Maybe a -> r m

I always think of it as your data types being too unrestricted so as to allow for invalid states. The eliminator for Maybe (a -> r) -> r -> Maybe a -> r means you only access the `a` if it's there and the access/matching are inextricably linked. So, I think "bare primitive types lack meaning" is basically correct given that you interpret "meaning" as "meaningful uses/actions".