Model/Interface.hs also written