onFstF and onSndF
Fix definition of <*> for MT to not be a tight infinite loop
Implement H.Monad.Scope.scope