whoops I meant f :: (forall f. Functor f => f Int) -> Maybe Int f = id