2 ms·Certainly, see Haskell. It enables reasoning about interfaces, easy as algebra.by iso8859-1 5y agoCertainly, see Haskell. It enables reasoning about interfaces, easy as algebra.