never executed always true always false

    1 module Tarefa3_2017li1g186 where
    2 
    3 import LI11718
    4 
    5 testesT3 :: [(Tabuleiro,Tempo,Carro)]
    6 testesT3 = []
    7 
    8 movimenta :: Tabuleiro -> Tempo -> Carro -> Maybe Carro
    9 movimenta m t c = undefined