Интерпретатор Haskell / определения типов w

Есть ли интерпретатор Haskell, который принимает определения типов или, желательно, все виды операторов?

Я уже пробовал ghci и обнимаются , но никто из них этого не делает. Есть какая-то особая причина, по которой это сложно / невозможно?