1 2 3 4 5 6 7 8 9 10
module Base where data QName = QName data Definition = D udef :: a udef = udef getConstInfo :: Monad m => QName -> m Definition getConstInfo = udef