:: m Bool -> m Bool -> m Bool package:type-hint

Hint the type system about the type argument.