Shouldn’t the `flatMap` signature always be `flatM...
# arrow
s
Shouldn’t the
flatMap
signature always be
flatMap(f: (A) -> XKind<B>): X<B>
?