Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / T14158.hs
1 {-# LANGUAGE TypeApplications #-}
2
3 module T14158 where
4
5 import qualified Control.Category as Cat
6
7 foo = (Cat.id @(->) >>=)