Tic-Tac-Types für Liquid Haskell