%(A:*) @(m:(Maybe A)) %(B:*) @(f:@(:A) B) (Maybe B)