Language.Hakaru.Syntax.TypeOf

Get singletons for well-typed ABTs

typeOf

typeOfReducer

Implementation details

getTermSing