T10263.hs 105 Bytes
Newer Older
1 2 3 4 5
{-# LANGUAGE RoleAnnotations #-}
module T10263 where

data Maybe a = AF
type role Maybe representational