data Some :: * -> * where ...