{-# 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"
