`compose` of higher-kinded Leib should return `LeibF` in exercise.
Expected type of selector in "Why is ADT pattern matching allowed?" should nub `Just`, not `Maybe`.