interface OneC where

fC :: a -> a