Language.Hakaru.Syntax.TypeOf

Get singletons for well-typed ABTs

typeOf

Implementation details

getTermSing