1 2 3 4 5 6 7
{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} module TyAppPat_TooMany where f :: Maybe Int -> Int f (Just @Int @Bool x) = x f Nothing = 10