{-# LANGUAGE TypeApplications #-}

foo = f @String a b c

bar = f @(Maybe Int) a b

baz = f @Int @String
  a b

goo = hash
  @(HASH TPraosStandardCrypto)
  @ByteString
  "And the lamb lies down on Broadway"