Data.Sized.Flipped

data Flipped f a n