-- Just used to test that badly typed plugins raise an error
module Main where
-- The contents of this file are actually irrelevant

main = return ()