3 ms·
Sure you can: {-# LANGUAGE ConstraintKinds #-} import Data.Monoid type Joinable = Monoid something :: Joinable m => m -> m -> m
by tome 10y ago
Sure you can:
{-# LANGUAGE ConstraintKinds #-}
import Data.Monoid
type Joinable = Monoid
something :: Joinable m => m -> m -> m
something = (<>)
But like MustardTiger says, don't.