Feldspar.Core.Expr
data Expr a
data Data a
data a :-> b
class Computable a
class RandomAccess a