module API where

data Num t => Interface t = D t