Я пытаюсь определить HKT в Scala (общий поток), и я не уверен, почему я получаю ошибку...
Для типов Door и Hallway: data DoorState :: Type where Opened :: DoorState Closed :: DoorState...