Language.Hakaru.Syntax.Reducer

data Reducer abt xs a

jmEqReducer