Data.Expression.Equality

data EqualityF a s

(.=.)