4 ms·
It was worth trying: class Effable t where f :: forall d. Effable d => t -> d instance intsAreEffable :: Effable Int where f x = ?
by mrkgnao 10y ago
It was worth trying:
class Effable t where
f :: forall d. Effable d
=> t -> d
instance intsAreEffable :: Effable Int where
f x = ???
(This is PureScript, though. Excuse the bad pun.)
- deleted 10y ago[deleted]