1{-# LANGUAGE TypeApplications #-} 2 3foo = f @String a b c 4 5bar = f @(Maybe Int) a b 6 7baz = 8 f @Int @String 9 a 10 b 11 12goo = 13 hash 14 @(HASH TPraosStandardCrypto) 15 @ByteString 16 "And the lamb lies down on Broadway" 17