я пробовал, но тогде это будет class Prefix p where type Address p => Address p :: Type toRange :: (Ord (Address p)) => p -> Range (Address p) но этого не достаточно. Нужно чтобы внутри f :: (Prefix p) => blabla f = ... toRange … из Prefix p следовало бы Ord (Address p), а оно не следует, если его просто навесить на toRange.
Обсуждают сегодня