Wprowadziłem ulepszony algorytm Shunting-Yard do analizowania wyrażeń arytmetycznych. Jednym z aspektów algorytmu jest to, że zachowuje on Queue i Stack. W mojej implementacji Queue zawiera Expression
Próbuję zakodować listę elementów, które mają być ograniczone typy przypadki pewnej klasy typu: {-# LANGUAGE RankNTypes, TypeSynonymInstances, LiberalTypeSynonyms #-}
module Test where
class Someab