1 2 3 4 5 6 7
{-# LANGUAGE ScopedTypeVariables #-} module Test10255 where import Data.Maybe fob (f :: (Maybe t -> Int)) = undefined