I've been reading through Plucking Constraints being sent there by the effet library because I keep wondering about one subject and I hoped seeing how this library was implemented would enlighten me.

When is Maybe [a] not [Maybe a]?