[RankNTypes] Subsumption is not working correctly

The following Curry program is rejected by the frontend but should be accepted.

fun1 :: ((forall a b. a -> b) -> Bool) -> Bool
fun1 _ = True

fun2 :: (forall a b. [Maybe a] -> [Maybe b]) -> Bool
fun2 _ = True

test = fun1 fun2