we can get something like that by using f :: Functor f => f Int -> Maybe Int f = id