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