{-# LANGUAGE TypeApplications #-} module T18 where -- >>> :noooop foo bar